翻訳と辞書
Words near each other
・ Hume Modern
・ Hume Nisbet
・ Hume School
・ Hume Station, California
・ Hume Street, Dublin
・ Hume Studies
・ Hume Township
・ Hume Township, Michigan
・ Hume Township, Whiteside County, Illinois
・ Hume Weir Motor Racing Circuit
・ Hume's bush warbler
・ Hume's fork
・ Hume's Fork (novel)
・ Hume's hawk-owl
・ Hume's leaf warbler
Hume's principle
・ Hume's short-toed lark
・ Hume's treecreeper
・ Hume's wheatear
・ Hume's whitethroat
・ Hume, Australian Capital Territory
・ Hume, Butte County, California
・ Hume, California
・ Hume, Fresno County, California
・ Hume, Illinois
・ Hume, Missouri
・ Hume, New York
・ Hume, Scottish Borders
・ Hume, Virginia
・ Hume-Bennett Lumber Company


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Hume's principle : ウィキペディア英語版
Hume's principle
Hume's principle or HP—the terms were coined by George Boolos—says that the number of ''F''s is equal to the number of ''G''s if and only if there is a one-to-one correspondence (a bijection) between the ''F''s and the ''G''s. HP can be stated formally in systems of second-order logic. Hume's principle is named for the Scottish philosopher David Hume.
HP plays a central role in Gottlob Frege's philosophy of mathematics. Frege shows that HP and suitable definitions of arithmetical notions entail all axioms of what we now call second-order arithmetic. This result is known as Frege's theorem, which is the foundation for a philosophy of mathematics known as neo-logicism.
== Origins ==
Hume's principle appears in Frege's ''Foundations of Arithmetic'', which quotes from Part III of Book I of David Hume's ''A Treatise of Human Nature''. Hume there sets out seven fundamental relations between ideas. Concerning one of these, proportion in quantity or number, Hume argues that our reasoning about proportion in quantity, as represented by geometry, can never achieve "perfect precision and exactness", since its principles are derived from sense-appearance. He contrasts this with reasoning about number or arithmetic, in which such a precision ''can'' be attained:
Algebra and arithmetic () the only sciences, in which we can carry on a chain of reasoning to any degree of intricacy, and yet preserve a perfect exactness and certainty. We are possessed of a precise standard, by which we can judge of the equality and proportion of numbers; and according as they correspond or not to that standard, we determine their relations, without any possibility of error. ''When two numbers are so combined, as that the one has always a unit answering to every unit of the other, we pronounce them equal''; and it is for want of such a standard of equality in () extension, that geometry can scarce be esteemed a perfect and infallible science. (I. III. I.)

Note Hume's use of the word ''number'' in the ancient sense, to mean a set or collection of things rather than the common modern notion of "positive integer". The ancient Greek notion of number (''arithmos'') is of a finite plurality composed of units. See Aristotle, ''Metaphysics'', 1020a14 and Euclid, ''Elements'', Book VII, Definition 1 and 2. The contrast between the old and modern conception of number is discussed in detail in Mayberry (2000). The credit Frege tries to give to Hume is therefore probably not deserved, and Hume certainly would have rejected at least some of the consequences Frege draws from HP, in particular, the consequence that there are infinite sets.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Hume's principle」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.